Skip to content

Bugfix: Empty rows are not prime in NL*. Fixes Issue 70 - #71

Merged
mtf90 merged 1 commit into
LearnLib:developfrom
Jaxan:bugfix-nlstar
Mar 17, 2020
Merged

Bugfix: Empty rows are not prime in NL*. Fixes Issue 70#71
mtf90 merged 1 commit into
LearnLib:developfrom
Jaxan:bugfix-nlstar

Conversation

@Jaxan

@Jaxan Jaxan commented Mar 17, 2020

Copy link
Copy Markdown
Contributor

Fixes #70

@mtf90
mtf90 merged commit 8efdb67 into LearnLib:develop Mar 17, 2020
@Jaxan
Jaxan deleted the bugfix-nlstar branch March 19, 2020 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Bug in NL*: sink states are included

2 participants